Research Statement Robert Soulé
نویسنده
چکیده
With my research, I want to simplify the development of complex systems through the use of programming language technologies. Most of my work has focused on distributed stream processing [2, 3, 6, 7, 8], but I have also explored distributed storage systems [1], and security in peer-to-peer content distribution networks [4]. My methodology is to start by developing a formal model, and then to use the model to guide the design and implementation of a working system. Starting with a formalism enables a clear understanding of the system’s behavior, and confidence in the correctness of its implementation. Building a working implementation helps to uncover details that the formalism elides, and provides an artifact that can be evaluated in practice.
منابع مشابه
Theory of Morphogenesis.
A model of morphogenesis is proposed based on seven explicit postulates. The mathematical import and biological significance of the postulates are explored and discussed.
متن کاملTrophic downgrading of planet Earth.
Until recently, large apex consumers were ubiquitous across the globe and had been for millions of years. The loss of these animals may be humankind's most pervasive influence on nature. Although such losses are widely viewed as an ethical and aesthetic problem, recent research reveals extensive cascading effects of their disappearance in marine, terrestrial, and freshwater ecosystems worldwide...
متن کاملIBM Streams Processing Language: Analyzing Big Data in motion
Language: Analyzing Big Data in motion M. Hirzel H. Andrade B. Gedik G. Jacques-Silva R. Khandekar V. Kumar M. Mendell H. Nasgaard S. Schneider R. Soulé K.-L. Wu The IBM Streams Processing Language (SPL) is the programming language for IBM InfoSphereA Streams, a platform for analyzing Big Data in motion. By BBig Data in motion,[ we mean continuous data streams at high data-transfer rates. InfoS...
متن کاملBig Book of Notes
5 Consistency Guarantees 5 5.1 Transactions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 5.2 Linearizability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 5.3 Sequential Consistency . . . . . . . . . . . . . . . . . . . . . . . . 6 5.4 Causal Consistency . . . . . . . . . . . . . . . . . . . . . . . . . . 6 5.5 release consistency . . . . . . . . . . . . . . . . . ....
متن کاملPolicy-driven versus Evidence- based Conservation: A Review of Political Targets and Biological Needs
I has been called “politically correct” (Noss 1996), “politically convenient” (Solomon et al. 2003),“politically achievable” (WCED 1987), “bold but credible” (Miller and McNeely, as quoted by Pressey and colleagues [2003]), a “heroic accomplishment”(Soulé and Sanjayan 1998), and “appropriate...because it’s achievable” (Sierra et al. 2002). It has just as often been labeled as “arbitrary” (Wrigh...
متن کامل